\frameforsubsection[t]{
  \label{1-3}
  \vspace{-2ex}
  \twocolumns[.6]{
     \begin{itemize}
       \zihao{5}
       \item 若已知逻辑函数的1个与-或表达式，则可以通过casex语句列出为函数值为1或0的全部组合
       \item casex语句允许无关项(多个X)出现，这样不用写出最小项
       \item casex语句在如下情况非常有用\\
	 一个输入覆盖其他输入：一个输入为0或1时，其他输入无效，例如优先编码器的使能端
       \item 虽然casex能取代case语句实现素数函数,相当于用户自己进行了函数优化，但由于case语句更便于维护，
	 且现代逻辑综合工具能自动优化，因此，非必要不必使用casex
     \end{itemize}
   }{
     \outfigure{.99}{images/therm_casx模块.png}
   }[c]
}


